Automatic generation produced by ISE Eiffel

ClassesClustersCluster hierarchyChartRelationsTextContracts
class APPLICATION General cluster: root_cluster description: "Root class for this application." create: make_and_launch Ancestors EV_APPLICATION Action sequences cancel_actions: EV_PND_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) drop_actions: EV_PND_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) idle_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) pick_actions: EV_PND_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) pnd_motion_actions: EV_PND_MOTION_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) post_launch_actions: EV_NOTIFY_ACTION_SEQUENCE -- (from EV_APPLICATION_ACTION_SEQUENCES) Queries alt_pressed: BOOLEAN -- (from EV_APPLICATION) captured_widget: EV_WIDGET -- (from EV_APPLICATION) clipboard: EV_CLIPBOARD -- (from EV_APPLICATION) contextual_help_accelerator: EV_ACCELERATOR -- (from EV_APPLICATION) ctrl_pressed: BOOLEAN -- (from EV_APPLICATION) data: ANY -- (from EV_ANY) Default_tooltip_delay: INTEGER -- (from EV_APPLICATION) focused_widget: EV_WIDGET -- (from EV_APPLICATION) help_accelerator: EV_ACCELERATOR -- (from EV_APPLICATION) help_engine: EV_HELP_ENGINE -- (from EV_APPLICATION) is_destroyed: BOOLEAN -- (from EV_ANY) is_launched: BOOLEAN -- (from EV_APPLICATION) locked_window: EV_WINDOW -- (from EV_APPLICATION) shift_pressed: BOOLEAN -- (from EV_APPLICATION) tooltip_delay: INTEGER -- (from EV_APPLICATION) windows: LINEAR [EV_WINDOW] -- (from EV_APPLICATION) Commands copy (other: [like Current] APPLICATION) -- (from EV_ANY) destroy -- (from EV_ANY) display_help_for_widget (a_widget: EV_WIDGET) -- (from EV_APPLICATION) do_once_on_idle (an_action: PROCEDURE [ANY, TUPLE]) -- (from EV_APPLICATION) enable_contextual_help -- (from EV_APPLICATION) launch -- (from EV_APPLICATION) process_events -- (from EV_APPLICATION) process_events_until_stopped -- (from EV_APPLICATION) set_contextual_help_accelerator (an_accelerator: EV_ACCELERATOR) -- (from EV_APPLICATION) set_data (some_data: [like data] ANY) -- (from EV_ANY) set_help_accelerator (an_accelerator: EV_ACCELERATOR) -- (from EV_APPLICATION) set_help_engine (an_engine: EV_HELP_ENGINE) -- (from EV_APPLICATION) set_tooltip_delay (a_delay: INTEGER) -- (from EV_APPLICATION) sleep (msec: INTEGER) -- (from EV_APPLICATION) stop_processing -- (from EV_APPLICATION)
ClassesClustersCluster hierarchyChartRelationsTextContracts

-- Generated by ISE Eiffel --

For more details: www.eiffel.com